Books by author Axel Legay

Showing 1 – 11 out of 11 results

1. 

   From Programs to Systems - The Systems Perspective in Computing

   Saddek Bensalem, Yassine Lakhnech, Axel Legay | Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, 2014

   
   

   In stock at our supplier - Shipping in 5 - 8 days

   Language: English

   Binding: Paperback

   49.56 €

   Sale 7 %

   You save 4.17 €

   Buy
2. 

   Tools and Algorithms for the Construction and Analysis of Systems

   Axel Legay, Tiziana Margaria | Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, 2017

   
   

   In stock at our supplier - Shipping in 5 - 8 days

   Language: English

   Binding: Paperback

   51.68 €

   Sale 7 %

   You save 4.28 €

   Buy
3. 

   Automated Technology for Verification and Analysis

   Cyrille Artho, Axel Legay, Doron Peled | Springer International Publishing AG, 2016

   
   

   In stock at our supplier - Shipping in 5 - 8 days

   Language: English

   Binding: Paperback

   51.68 €

   Sale 7 %

   You save 4.28 €

   Buy
4. 

   Risks and Security of Internet and Systems

   Nora Cuppens, Frédéric Cuppens, Jean-Louis Lanet, Axel Legay, Joaquin Garcia-Alfaro | Springer International Publishing AG, 2018

   
   

   In stock at our supplier - Shipping in 5 - 8 days

   Language: English

   Binding: Paperback

   51.68 €

   Sale 7 %

   You save 4.28 €

   Buy
5. 

   Models, Algorithms, Logics and Tools

   Luca Aceto, Giorgio Bacci, Giovanni Bacci, Anna Ingólfsdóttir, Axel Legay, Radu Mardare | Springer International Publishing AG, 2017

   
   

   In stock at our supplier - Shipping in 5 - 8 days

   Language: English

   Binding: Paperback

   51.68 €

   Sale 7 %

   You save 4.28 €

   Buy
6. 

   Formal Modeling and Analysis of Timed Systems

   Axel Legay, Marius Bozga | Springer International Publishing AG, 2014

   
   

   In stock at our supplier - Shipping in 5 - 8 days

   Language: English

   Binding: Paperback

   49.56 €

   Sale 7 %

   You save 4.17 €

   Buy
7. 

   Tools and Algorithms for the Construction and Analysis of Systems

   Axel Legay, Tiziana Margaria | Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, 2017

   
   

   In stock at our supplier - Shipping in 5 - 8 days

   Language: English

   Binding: Paperback

   51.68 €

   Sale 7 %

   You save 4.28 €

   Buy
8. 

   Risks and Security of Internet and Systems

   Frédéric Cuppens, Nora Cuppens, Jean-Louis Lanet, Axel Legay | Springer International Publishing AG, 2017

   
   

   In stock at our supplier - Shipping in 5 - 8 days

   Language: English

   Binding: Paperback

   51.68 €

   Sale 7 %

   You save 4.28 €

   Buy
9. 

   Hardware and Software: Verification and Testing

   Valeria Bertacco, Axel Legay | Springer International Publishing AG, 2013

   
   

   In stock at our supplier - Shipping in 5 - 8 days

   Language: English

   Binding: Paperback

   51.68 €

   Sale 7 %

   You save 4.28 €

   Buy
10. 

    Model Checking Software

    Fabrizio Biondi, Thomas Given-Wilson, Axel Legay | Springer Nature Switzerland AG, 2019

    
    

    In stock at our supplier - Shipping in 5 - 8 days

    Language: English

    Binding: Paperback

    51.68 €

    Sale 7 %

    You save 4.28 €

    Buy
11. 

    Runtime Verification

    Axel Legay, Saddek Bensalem | Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, 2013

    
    

    In stock at our supplier - Shipping in 5 - 8 days

    Language: English

    Binding: Paperback

    51.68 €

    Sale 7 %

    You save 4.28 €

    Buy

We were in the final of Shop of the Year 2014. Find out more